Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
311	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
312	Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-17 17:51:35 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Type theory Concurrent programming languages Programming paradigms Haskell Scala Mixin Concurrent computing
313	Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Concurrency control Computing Software engineering Computer programming Transaction processing Software design patterns Functional languages Data management Software transactional memory Treiber Stack Lock OCaml
314	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
315	System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Type theory Data types Functional programming Dependently typed programming Generalized algebraic data type Type class Valuation
316	The Functional Web Clojure Templating Libraries: Fleet and Enlive Glenn Vanderburg • InfoEther Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2010-10-04 21:54:38 Scripting languages Clojure Template processor Functional programming HTML element Web template system
317	Sequencing, and IO Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-27 03:46:56 C standard library Functional programming Subroutines Functional languages Printf format string Printf Eval Lisp Pure function
318	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization
319	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
320	The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:50 Data types Functional programming Subroutines Lisp Functional languages Eval Anonymous function Fexpr Boolean data type Recursion Map Cons

UPDATE